semi-definite相关论文
1引言设A_i∈S~n,i=1,…,m,定义线性算子A:S~n→R~m,AX=(A_1·X,…,A_m·X)~T,其相应的伴随算子为A~*:R~m→S~n,且A~*y=su......
提出了自动发现不等式的思路、算法并编写了应用程序agl2010;通过大量的实例演示了agl2010程序丰富的指令集及使用方法,指出agl201......